Tools for system validation with B abstract machines⋆ Michael Butler1 and Michael Leuschel1,2 and Colin Snook1 1 2

Source URL: rodin.cs.ncl.ac.uk

• Unified Modeling Language
• Infographics
• Systems Modeling Language
• Diagrams
• Models of computation
• Class diagram
• Michael Butler
• Model checking
• Object Process Methodology
• State diagram
• Activity
• Stereotype

Electronic Communications of the EASST VolumeProceedings of the Workshop on OCL and Textual Modelling (OCL 2010)

Source URL: gres.uoc.edu

• ISO standards
• Unified Modeling Language
• Object Constraint Language
• ECO
• Eclipse
• Diagram
• OCL
• Class diagram
• Conceptual model
• Object diagram

ABOUT MANUSCRIPTS FOR IJ ITA

Source URL: www.foibg.com

• Object-oriented programming
• Software design
• Data modeling
• Information model
• Information technology management
• Object Process Methodology
• Conceptual model
• Domain-specific language
• Class diagram
• Diagram
• Object
• Decomposition

Specification of the TOIF XML schema Deliverable Version 1.1 October. 1st , 2012

Source URL: www.kdmanalytics.com

• ISO standards
• Unified Modeling Language
• XML Metadata Interchange
• Knowledge Discovery Metamodel
• Metamodeling
• Object Process Methodology
• XML schema
• Class diagram
• UML tool

Enabling multi-stakeholder cooperative modelling in automotive software development and implications for model driven software development Frank Grimm

Source URL: ftp.informatik.rwth-aachen.de

• Software engineering
• Class diagram
• Object Process Methodology
• Engineering
• Computing
• Package diagram
• Data model
• Diagrams
• Mathematical diagram

Advanced ontology visualization with OWLGrEd Jānis Bārzdiņš, Kārlis Čerāns, Renārs Liepiņš, Artūrs Sproģis Institute of Mathematics and Computer Science, University of Latvia, Raina blvd. 29, LV-1459, Riga, L

Source URL: webont.org

• Knowledge representation
• Knowledge engineering
• Semantic Web
• Scientific modeling
• Information science
• Ontology
• Web Ontology Language
• Visual modeling
• Diagram
• Annotation
• Modeling language
• Class diagram

Towards a Base Model for UML and OCL Verication? Frank Hilken, Philipp Niemann, Robert Wille, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Class diagram
• Diagram
• Activity diagram
• Object Process Methodology
• Entityrelationship model
• YEd

UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|fhilken}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Scientific modeling
• ECO
• Model-driven architecture
• Metamodeling
• Entityrelationship model
• Invariant
• Model transformation
• Class diagram
• Object Constraint Language
• Executable UML

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics M. Gogolla1 , L. Hamann1 , F. Hilken1∗, M. Kuhlmann1 , R. France2 1 {gogolla,lhamann,fhilken,mk}@informatik.uni-bremen

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Theoretical computer science
• Unified Modeling Language
• Computing
• Formal methods
• Object Constraint Language
• ECO
• Postcondition
• Object diagram
• Object Process Methodology
• Class diagram
• Invariant

Name ________________________________________________________ Class _______________ Date ____________________ Fishbone Diagram ©The Religion Teacher www.thereligionteacher.com

Source URL: www.thereligionteacher.com